Reasoning with Modularly Pointwise Preferential Relations
نویسنده
چکیده
We introduce a family of preferential consequence relations, deened by a simple and natural many-valued semantics. These relations share many desirable properties for common-sense reasoning, such as paraconsistency
منابع مشابه
A Formula-Preferential Base for Paraconsistent and Plausible Reasoning Systems
We provide a general framework for constructing natural consequence relations for paraconsistent and plausible nonmonotonic reasoning. The framework is based on preferential systems whose preferences are based on the satisfaction of formulas in models. We show that these natural preferential systems that were originally designed for paraconsistent reasoning fulfill a key condition (stopperednes...
متن کاملEntailment, Duality, and the Forms of Reasoning
We explore the notion of duality for defeasible entailment relations induced by preference orderings on states. We then show that such preferential entailment relations may be used to characterise Peircean inductive and abductive reasoning. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as the modal logic of inductive and abductive reasoning. §
متن کاملFormula-Preferential Systems for Paraconsistent Non-Monotonic Reasoning
We provide a general framework for constructing natural consequence relations for paraconsistent and plausible nonmonotonic reasoning. The framework is based on preferential systems whose preferences are based on the satisfaction of formulas in models. The framework encompasses different types of preferential systems that were developed from different motivations of paraconsistent reasoning and...
متن کاملFormula - Preferential Systems for Paraconsistent Non - Monotonic Reasoning ( an extended
We provide a general framework for constructing natural consequence relations for paraconsistent and plausible nonmonotonic reasoning. The framework is based on preferential systems whose preferences are based on the satisfaction of formulas in models. The framework encompasses different types of preferential systems that were developed from different motivations of paraconsistent reasoning and...
متن کاملDefault-assumption consequence relations in a preferential setting: Reasoning about normality
We attempt at a logical characterization of reasoning about normality based on the intuition that a normal situation is represented by a stable set of default assumptions. Within the context of preferential consequence relations we shall define a normality operator B and study its logical properties. Finally we shall focus on the AGM-like postulates for the normality expansion, contraction and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007